Nuprl Definition : so_apply3 12,41
x(s1,s2,s3) == x(s1,s2,s3) 
latex

Definitionsf(a)
FDL editor aliasesso_apply3

origin